Definition

For a given m×nm \times n matrix game A={aij}A=\{a_{ij}\} let {row ii^*, column jj^*} be a pair of strategies adopted by the players. Then if the pair of equalities

aijaijaija_{i^* j} \leq a_{i^* j^*} \leq a_{ij^*}

is satisfied for all i=1,...,mi=1,...,m and all j=1,...,nj=1,...,n, then the strategies are said to constitute a saddle-point equilibrium (or said to be saddle-point strategies). Corresponding outcome aija_{i^* j^*} is called the saddle-point value or simply the value of the matrix game (zero-sum game), and is denoted V(A)V(A).

Theorem

Let A={aij}A=\{a_{ij}\} denote a m×nm \times n matrix game with V(A)=V(A)\overline{V}(A) = \underline{V}(A), then

  1. AA has a saddle point in pure strategies,
  2. an ordered pair of strategies provides a saddle pair for AA iff the first of these is a security strategy for P1, and the second one a security strategy for P2,
  3. V(A)V(A) is uniquely given by V(A)=V(A)=V(A)V(A) = \overline{V}(A) = \underline{V}(A).

Definition (SPE in mixed strategies)

The pair (p1,p2)(p_1^*, p_2^*), p1Δ1p_1^* \in \Delta_1, p2Δ2p_2^* \in \Delta_2 constitutes a saddle point equilibrium in mixed strategies if

(p1)TAp2(p1)TAp2(p1)TAp2p1Δ1,p2Δ2(p_1^*)^T A p_2 \leq (p_1^*)^T A p_2^* \leq (p_1)^T A p_2^* \quad \forall p_1 \in \Delta_1, \forall p_2 \in \Delta_2

where Δ1=Δ(A1)\Delta_1 = \Delta(A_1), A1={1,...,m}A_1 = \{1,...,m\}, and Δ2=Δ(A2)\Delta_2 = \Delta(A_2), A2={1,...,n}A_2 = \{1,...,n\}.

(see mixed strategy)

minp1Δ1maxp2Δ2J(p1,p2)=maxp2Δ2minp1Δ1J(p1,p2)\min_{p_1 \in \Delta_1} \max_{p_2 \in \Delta_2} J(p_1, p_2) = \max_{p_2 \in \Delta_2} \min_{p_1 \in \Delta_1} J(p_1, p_2)

Thus, von Neumann's minimax theorem results.

Corollary

In a matrix game AA, let {row i1i_1, column j1j_1} and {row i2i_2, column j2j_2} be two saddle-point strategy pairs. Then {row i1i_1, column j2j_2}, {row i2i_2, column j1j_1} are also in saddle-point equilibrium. This feature of saddle-point strategies is known as their ordered interchangeability property.

Definition (feedback saddle point)

#incomplete
p 46

Definition (behavioral saddle point)

p 50

Corollary

Every two-person zero-sum game feedback game, which has an extensive form comprised of a finite number of branches, admits a saddle point in behavioral strategies.


References

  1. T. Başar and G.J. Olsder, Dynamic Noncooperative Game Theory, 2nd edition, Classics in Applied Mathematics, SIAM, Philadelphia, 1999, pp. 21, 46.